منابع مشابه
?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملFormal assessment of hybrid functions
It is commonly accepted in the academic community that if the use of formal methods were more widely spread and properly supported, then their use would provide substantial development time and cost benefits for the engineering of safety-critical systems. The present work builds upon an increasing imperative to improve continuously the process, methods techniques and tools for analysing the fun...
متن کاملFunctions in Basic Formal Ontology
The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or m...
متن کاملFinitary bases and formal generating functions
Let k be a nonzero, commutative ring with 1, and let R be a k-algebra with a countably-infinite ordered free k-basis B = {pn: n~>0}. We characterize and analyze those bases from which one can construct a k-algebra of 'formal B-series' of the form f = ~ c , p , , with cn Ek, showing inter alia that many classical polynomial bases fail to have this property. @ 1998 Elsevier Science B.V. All right...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Mathematical Society of Japan
سال: 1968
ISSN: 0025-5645
DOI: 10.2969/jmsj/02010052